Stickel, Mark: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Interpretation as abduction

Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt, Paul Martin

Journal:

Artificial Intelligence

Year:

1993

Language:

english

File:

PDF, 3.67 MB

english, 1993

2

Complete Sets of Reductions for Some Equational Theories

Peterson, Gerald E., Stickel, Mark E.

Journal:

Journal of the ACM

Year:

1981

Language:

english

File:

PDF, 1.84 MB

english, 1981

3

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || A mechanically assisted constructive proof in category theory

Stickel, Mark E.

Year:

1990

Language:

english

File:

PDF, 1015 KB

english, 1990

4

Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers

Journal:

Future Generation Computer Systems

Year:

1993

Language:

english

File:

PDF, 899 KB

english, 1993

5

Set theory in first-order logic: Clauses for Gödel's axioms

Robert Boyer, Ewing Lusk, William McCune, Ross Overbeek, Mark Stickel, Lawrence Wos

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 1.94 MB

english, 1986

6

A Prolog technology theorem prover: a new exposition and implementation in Prolog

Mark E. Stickel

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.44 MB

english, 1992

7

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report)

Henry Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla Gomes Bart Selman, Mark Stickel

Journal:

Electronic Notes in Discrete Mathematics

Year:

2001

File:

PDF, 752 KB

2001

8

A comparison of the variable-abstraction and constant-abstraction methods for associative-commutative unification

Mark E. Stickel

Journal:

Journal of Automated Reasoning

Year:

1987

Language:

english

File:

PDF, 295 KB

english, 1987

9

Automated deduction by theory resolution

Mark E. Stickel

Journal:

Journal of Automated Reasoning

Year:

1985

Language:

english

File:

PDF, 1.39 MB

english, 1985

10

Schubert's Steamroller problem: Formulations and solutions

Mark E. Stickel

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 673 KB

english, 1986

11

Opening the AC-unification race

Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang

Journal:

Journal of Automated Reasoning

Year:

1988

Language:

english

File:

PDF, 578 KB

english, 1988

12

A prolog technology theorem prover: Implementation by an extended prolog compiler

Mark E. Stickel

Journal:

Journal of Automated Reasoning

Year:

1988

Language:

english

File:

PDF, 1.58 MB

english, 1988

13

Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction

Mark E. Stickel

Journal:

Journal of Automated Reasoning

Year:

1994

Language:

english

File:

PDF, 1.65 MB

english, 1994

14

A prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation

Mark E. Stickel

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1991

Language:

english

File:

PDF, 1.01 MB

english, 1991

15

In reply to McDermott

Mark E. Stickel, W. Mabry Tyson

Journal:

Computational Intelligence

Year:

1987

Language:

english

File:

PDF, 236 KB

english, 1987

16

Alcohol and Colorectal Cancer: The Role of Alcohol Dehydrogenase 1C Polymorphism

Nils Homann, Inke R. König, Michael Marks, Monika Benesova, Felix Stickel, Gunda Millonig, Sebastian Mueller, Helmut K. Seitz

Journal:

Alcoholism: Clinical and Experimental Research

Year:

2009

Language:

english

File:

PDF, 145 KB

english, 2009

17

Implementing the Davis–Putnam Method

Hantao Zhang, Mark Stickel

Journal:

Journal of Automated Reasoning

Year:

2000

Language:

english

File:

PDF, 102 KB

english, 2000

18

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || RCL: A lisp verification system

Stickel, Mark E.

Year:

1990

Language:

english

File:

PDF, 139 KB

english, 1990

19

Polar infarct in a transplanted kidney: Cause of a pseudomass

Steven K. Sussman, Mark E. Baker, Mohsin Saeed, Delford L. Stickel

Journal:

Urologic Radiology

Year:

1987-1988

Language:

english

File:

PDF, 238 KB

english, 1987-1988

20

A Prolog technology theorem prover

Mark E. Stickel

Journal:

New Generation Computing

Year:

1984

Language:

english

File:

PDF, 714 KB

english, 1984

21

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || Ritt-Wu's decomposition algorithm and geometry theorem proving

Stickel, Mark E.

Year:

1990

Language:

english

File:

PDF, 971 KB

english, 1990

22

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || Liss — The logic inference search system

Stickel, Mark E.

Year:

1990

Language:

english

File:

PDF, 105 KB

english, 1990

23

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || Some results on equational unification

Stickel, Mark E.

Year:

1990

Language:

english

File:

PDF, 823 KB

english, 1990

24

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || Otter 2.0

Stickel, Mark E.

Year:

1990

Language:

english

File:

PDF, 158 KB

english, 1990

25

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || On restrictions of ordered paramodulation with simplification

Stickel, Mark E.

Year:

1990

Language:

english

File:

PDF, 1.06 MB

english, 1990

26

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || Complete sets of reductions with constraints

Stickel, Mark E.

Year:

1990

Language:

english

File:

PDF, 1.01 MB

english, 1990

27

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || Simultaneous paramodulation

Stickel, Mark E.

Year:

1990

Language:

english

File:

PDF, 704 KB

english, 1990

28

PROVING PROPERTIES OF RULE-BASED SYSTEMS

WALDINGER, RICHARD J., STICKEL, MARK E.

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

1992

Language:

english

File:

PDF, 983 KB

english, 1992

29

[Lecture Notes in Computer Science] Automated Reasoning and Mathematics Volume 7788 || Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach

Bonacina, Maria Paola, Stickel, Mark E.

Year:

2013

Language:

english

File:

PDF, 160 KB

english, 2013

30

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || Automated reasoning contributes to mathematics and logic

Stickel, Mark E.

Year:

1990

Language:

english

File:

PDF, 1006 KB

english, 1990

31

[Association for Computational Linguistics the 26th annual meeting - Buffalo, New York (1988.06.07-1988.06.10)] Proceedings of the 26th annual meeting on Association for Computational Linguistics - - Interpretation as abduction

Hobbs, Jerry R., Stickel, Mark, Martin, Paul, Edwards, Douglas

Year:

1988

Language:

english

File:

PDF, 774 KB

english, 1988

32

A note on leftmost innermost term reduction

Stickel, Mark E.

Journal:

ACM SIGSAM Bulletin

Year:

1983

Language:

english

File:

PDF, 157 KB

english, 1983

33

A Unification Algorithm for Associative-Commutative Functions

Stickel, Mark E.

Journal:

Journal of the ACM

Year:

1981

Language:

english

File:

PDF, 814 KB

english, 1981

34

Gastrin-releasing Peptide Receptor Imaging in Breast Cancer Using the Receptor Antagonist 68 Ga-RM2 And PET

Stoykow, Christian, Erbes, Thalia, Maecke, Helmut R, Bulla, Stefan, Bartholomä, Mark, Mayer, Sebastian, Drendel, Vanessa, Bronsert, Peter, Werner, Martin, Gitsch, Gerald, Weber, Wolfgang A, Stickeler,

Journal:

Year:

2016

Language:

english

File:

PDF, 620 KB

english, 2016